A11y Attacks: Exploiting Accessibility in Operating Systems Yeongjin Jang, Chengyu Song, Simon P. Chung, Tielei Wang, and Wenke Lee School of Computer Science, College of Computing Georgia Institute of Technology, Atlant

Source URL: wenke.gtisc.gatech.edu

Russian Academy of Sciences Program Systems Institute Russian Research Institute for Regional Problems the Ministry of Science and Education

Source URL: skif.pereslavl.ru

An Overview of Audio Information Retrieval Jonathan Foote Institute of Systems Science, National University of Singapore Heng Mui Keng Terrace, Singapore

Source URL: rotorbrain.com

Reusing Proofs when Program Verification Systems are Modified Bernhard Beckert, Thorsten Bormer, and Vladimir Klebanov Institute for Computer Science University of Koblenz-Landau www.key-project.org Abstract

Source URL: formal.iti.kit.edu

2011 IEEE CSS Awards Every year the IEEE and the Control Systems Society recognize the outstanding contributions of individuals belonging to our technical community by giving a number of awards. Each award is handled by

Source URL: www.nt.ntnu.no

• Systems theory
• Systems science
• Cybernetics
• Eduardo D. Sontag
• John Baillieul
• Institute of Electrical and Electronics Engineers
• IEEE Control Systems Society
• IEEE Control Systems Award
• Richard D. Braatz
• Kenneth A. Loparo
• Jianwei Huang

Connection Science and Engineering: What problems does network research need to solve? Industry Panel at Workshop on Information and Decision Science The world is moving to distributed, network systems for health, financ

Source URL: wids.lids.mit.edu

• Security
• Computing
• MIT Media Lab
• Massachusetts Institute of Technology
• Data visualization
• Computer security

NEW ENGLAND COMPLEX SYSTEMS INSTITUTE Science for the challenges of society. Complex Systems Engineering Principles—

Source URL: www.necsi.edu

Alan Schmitt 21 February 2012 CV Birth: 02 AprilNancy, France)

Source URL: alan.petitepomme.net

• Software engineering
• Computer science
• Computing
• Boomerang
• Functional programming
• Symposium on Principles of Programming Languages
• International Conference on Functional Programming
• Benjamin C. Pierce
• SIGPLAN
• Coq
• French Institute for Research in Computer Science and Automation
• Research Institute of Computer Science and Random Systems

Department of Computer Science Institute of System Architecture, Operating Systems Group THE MATHEMATICS OF OBSCURITY HERMANN HÄRTIG, CLAUDE-JOACHIM HAMANN,

Source URL: weis2010.econinfosec.org

Design of DNA origami Paul W.K. Rothemund Computer Science and Computation and Neural Systems California Institute of Technology, Pasadena, CA 91125

Source URL: www.dna.caltech.edu